Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
611	SYNTAX-DIRECTED TRANSLATION SCHEMES FOR MULTI AGENT SYSTEMS CONVERSATION MODELLING Ana Fred, Joaquim Filipe* Instituto de Telecomunicações, Instituto Superior Técnico, Lisboa, Av. Rovisco Pais, Lisboa, Po Add to Reading List Source URL: www.lx.it.pt Language: English* - Date: 2010-07-24 14:01:22 Formal languages Oral communication Philosophy of language Human communication Pragmatics Speech act Intelligent agent Parsing Conversation Science Linguistics Behavior
612	Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 17:26:28 External variable Futures and promises Environment variable Free variables and bound variables Variable Closure SystemVerilog Software engineering Computing Synchronous programming language
613	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:47:43 Theoretical computer science Formal methods Semantics Abstract interpretation Formal languages Model theory Prolog Semantics of programming languages Programming language Software engineering Computing Logic in computer science
614	ANT A TY P E S E TT I N G S Y S T E M “ant is not TEX.” Achim Blumensath December 16, 2007 Add to Reading List Source URL: ftp.rrze.uni-erlangen.de Language: English - Date: 2007-12-16 11:06:11 Software Expr ECL programming language Regular expression Tiny programming language Computing Formal languages Unix
615	Web Appendix 1: email cover letter messages Altruistic appeal complex and formal Coalition Alternatives Survey Kieskompas.nl is engaged in an ongoing, collaborative international research project, designed to improve our Add to Reading List Source URL: zfazekas.github.io Language: English - Date: 2015-04-23 02:05:21 Dutch language Drenthe Society of Humanitarianism
616	Hastings et al. Journal of Biomedical Semantics:10 DOIs13326JOURNAL OF BIOMEDICAL SEMANTICS Add to Reading List Source URL: www.jbiomedsem.com Language: English Information science Knowledge Semantic Web Technical communication Bioinformatics OBO Foundry Formal ontology Process ontology Web Ontology Language Ontology Science Information
617	TEX in Teaching Michael Moortgat, Richard Moot, Dick Oehrle Contents Add to Reading List Source URL: www.ntg.nl Language: English - Date: 2001-09-26 14:35:12 Programming language theory Compiler construction Prolog Computational linguistics Logic Parsing Formal sciences Software engineering Science
618	Verification of Faust Signal Processing Programs in C OQ Emilio Jes´us Gallego Arias Olivier Hermant Pierre Jouvelot Add to Reading List Source URL: feever.fr Language: English - Date: 2015-01-20 16:24:56 Formal methods FAUST Logic in computer science Mathematics Formal verification Correctness Domain-specific language Digital signal processing Theoretical computer science Applied mathematics Electronic engineering
619	AutoProof: Auto-active Functional Verification of Object-oriented Programs Julian Tschannen, Carlo A. Furia, Martin Nordio, and Nadia Polikarpova Chair of Software Engineering, Department of Computer Science, ETH Zurich, Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-01-15 04:33:24 Logic in computer science Object-oriented programming Formal methods Programming paradigms Eiffel Hardware verification languages Java Modeling Language Formal verification Postcondition Software engineering Computing Computer programming
620	Parameterized Regular Expressions and Their Languages Pablo Barcel´oa , Juan Reutterb , Leonid Libkinb a Department of Computer Science, University of Chile b Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:09:44 Combinatorics Regular language Symbol String EXPSPACE Model theory Structure Regular expression FO Formal languages Theoretical computer science Mathematics

UPDATE